murrax.dev Recently Edited: Learning with ObsidianObject Capabilities Security ModelModal's GPU Glossary

ATiPL Problem Sheet 1

%%🖋 Edit in Excalidraw%%

5

ii

data Nat = Zero | Succ Nat
sum :: Nat -> Nat -> Nat
sum Zero b = b
sum (Succ a) b = Succ (sum a b)

Corrections

%%🖋 Edit in Excalidraw%%